Refinement of Hybrid Systems from Formal Models to Design Languages (Draft)
نویسندگان
چکیده
System-level design for discrete-continuous embedded systems is a complex and error-prone task. While existing design languages like SystemC and its extension to the mixed-signal domain, SystemC-AMS, are well supported by a wealth of synthesis tools and libraries, they lack both mathematical precision and intuitive, abstract design notations. Graphical design notations with formal foundations such as HyCharts suffer from the lack of tool support and acceptance in the developer community. To overcome the deficiencies of both approaches, we present in this paper a design flow from graphical HyCharts to SystemC-AMS designs. Our design flow uses a formally founded refinement technique to ensure the overall consistency of the design.
منابع مشابه
Refinement of Hybrid Systems from Formal Models to Design Languages
System-level design for discrete-continuous embedded systems is a complex and errorprone task. While existing design languages like SystemC and its extension to the mixedsignal domain, SystemC-AMS, are well supported by a wealth of tools and libraries, they lack both mathematical precision and intuitive, abstract design notations. Graphical design notations with formal foundations such as HyCha...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملExpressing Collective Behavior in Heterogeneous Multi-robot Systems
We present the first steps in developing a framework for analysis and design of collective behavior, in groups of heterogeneous robotic systems. The main idea behind this approach is to transfer analysis and design from the continuous to the discrete domain, using abstraction and formal languages. Along those lines, we view these robotic systems as hybrid dynamical systems, capable of switching...
متن کاملMulti-View Design for Cyber-Physical Systems
Cyber-Physical Systems are complex systems made of various and heterogeneous subsystems; they have different aspects and each aspect has its own requirements and properties to be satisfied. ModelDriven Engineering (MDE) is a promising approach used to design and analyze complex systems on different levels and diverse views. CPS designers take many factors into account due to the complexity and ...
متن کامل